Utilisation de l’algèbre linéaire en théorie des automates
نویسنده
چکیده
Techniques from linear algebra are used to study the synchronization problem in automata theory. Let A = (Q, X) be a finite automaton. Each word m in X∗ defines a map from Q to Q ; the rank of m in A is the integer Card{qm | q ∈ Q}. A word of rank 1 maps all states onto a unique state. Such a word is called a synchronizing word (if such a word exists the automaton itself is called a synchronizing automaton). Let A be a synchronizing automaton with n states. Our main result asserts that if there is a letter of rank ≤ 1 + log 2 n in A, then there exists a synchronizing word of length ≤ (n − 1).
منابع مشابه
MPRI, Fondations mathématiques de la théorie des automates
Question 3. Soit M un monöıde de U et soit e ∈ E(M). Montrer que l’application α : M → eM définie par α(s) = es est un morphisme de monöıdes. On note π la projection de M sur M/MeM . Montrer que l’application γ : M → eM × (M/MeM) définie par γ(s) = (α(s), π(s)) est un morphisme injectif. Question 4. En déduire que la variété U est engendrée par les monöıdes de la forme S, où S est un semigroupe...
متن کاملUne conjecture en théorie des partitions
Nous présentons une conjecture qui se formule de manière élémentaire dans le cadre de la théorie des partitions.
متن کاملNonlinear phonological analysis in assessment of protracted phonological development in Mandarin Utilisation de l’analyse phonologique non linéaire dans l’évaluation des retards du développement phonologique en mandarin
Abstract Nonlinear phonological theories have motivated phonological assessment and intervention practices for English for two decades (e.g., Bernhardt & Stoel-Gammon, 1994; Bernhardt & Stemberger, 2000). Such practices focus on all aspects of the phonological system from word structure to segments (phonemes) and features, highlighting and capitalizing on a client’s strengths while addressing h...
متن کاملL’interprétation Matricielle De La Théorie De Markoff Classique
On explicite l’approche de Cohn (1955) de la théorie de Markoff. On montre en particulier comment l’arbre complet des solutions de l’équation diophantienne associée apparaît comme quotient du groupe GL(2,Z) des matrices 2× 2 à coefficients entiers et de déterminant ±1 par un sous-groupe diédral D6 à 12 éléments. Différents développements intermédiaires sont faits autour du groupe Aut(F2) des au...
متن کامل